English algorithm for synthesis of multiple output combinational logic: 其他语言的译文